Learning from Euler. From Mathematical Practice to Mathematical Explanation
نویسندگان
چکیده
منابع مشابه
Causal Explanation from Mathematical Models
Decision support systems may require the use of existing complex mathematical models. It is desirable to reduce the equations of such a model to an explanatory causal form to support decision making, for example in making decisions about the greenhouse effect. This paper presents an approach to constructing causal explanation from existing complex mathematical models. The method combines inform...
متن کاملMathematical Explanation in Science
Does mathematics ever play an explanatory role in science? If so then this opens the way for scientific realists to argue for the existence of mathematical entities using inference to the best explanation. Elsewhere I have argued, using a case study involving the primenumbered life cycles of periodical cicadas, that there are examples of indispensable mathematical explanations of purely physica...
متن کاملDifferential Euler Equations obtained from Causal Mathematical Logic
Causal Mathematical Logic (CML) is used to obtain the Euler equations for the rotation of a rigid body directly from experimental measurements. The first ever use of the mathematical limit in the context of CML is also illustrated.
متن کاملMathematical induction and explanation
Hawley, K. 2008. Persistence and determination. Philosophy 83 (Suppl 62), 197–212. Langford, S. 2007. How to defend the cohabitation theory. The Philosophical Quarterly 57: 212–24. Lewis, D. 1983. Postscripts to ‘Survival and identity’. Philosophical Papers Volume I: 73–77. McGrath, M. 2007. Four-dimensionalism and the puzzles of coincidence. In Oxford Studies in Metaphysics 3, ed. Dean Zimmerm...
متن کاملFrom Mathematical Functions to Syntax
@article{gdp:lcf-as-pl, author={Plotkin, G. D.}, title={LCF Considered as a Programming Language}, journal={Theoretical Computer Science}, pages={223--255}, year=1977 } Summary: Plotkin investigates the relation between the denotational and the operational semantics of a programming language. As a working example, he picks PCF a language based on Scott’s Logic of Computable Functions. He demons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophia Scientae
سال: 2012
ISSN: 1281-2463,1775-4283
DOI: 10.4000/philosophiascientiae.721